Download
https://highload.today/yazyk-programmirovaniya-coq-pereimenuyut-razrabotchiki-ne-hotyat-uchastvovat-v-ego-razvitii-iz-za-nazvaniya/
Язык программирования Coq переименуют: разработчики не хотят участвовать в его развитии из-за названия
Share